logic programing

Học thuật
Thân thiện
Definition

Noun 1. A paradigm of computer programming: A method of creating software where programs are expressed as sets of logical statements (facts and rules) and the computer uses automated reasoning to derive answers. 2. A specific computer language: Refers to a programming language, particularly those developed in Europe (like Prolog), designed to support this paradigm and applications like natural language processing.

Usage
  • As a programming paradigm:
    • The course introduces logic programming as an alternative to imperative styles.
    • In logic programming, you declare what is true, not how to compute it.
  • Referring to the language:
    • The project uses logic programming for its knowledge base system.
Advanced Usage
  • Declarative programming: Logic programming is a prime example of declarative programming, where the programmer specifies the "what" (the logic of the problem) rather than the "how" (the control flow).
    • The power of logic programming lies in its declarative nature.
Variants and Related Words
  • Logic programming language (n): A more specific term for languages like Prolog that implement the logic programming paradigm.
    • Prolog is a well-known logic programming language.
  • Prolog (n): The most common specific language for logic programming.
  • Declarative programming (n): The broader programming paradigm that includes logic programming.
Synonyms
  • Declarative logic programming
  • Rule-based programming (in certain contexts)
Related Phrases
  • Logic programming system: The software environment that executes logic programs.
    • They built a new logic programming system for academic research.
Noun
  1. creating a program that enables the computer to reason logically
  2. a computer language designed in Europe to support natural language processing

Từ đồng nghĩa

Từ gần giống